Enriched regular theories
نویسندگان
چکیده
منابع مشابه
Monads of Regular Theories
We characterize the category of monads on Set and the category of Lawvere theories that are equivalent to the category of regular equational theories.
متن کاملCategorical structures enriched in a quantaloid: regular presheaves, regular semicategories
Résumé. On étudie les préfaisceaux sur des semicatégories enrichies dans un quantalöide: cela donne lieu à la notion de préfaisceau régulier. Une semicatégorie est régulière si tous les préfaisceaux représentables sont réguliers, et ses préfaisceaux réguliers forment alors une (co)localistation essentielle de la catégorie de tous ses préfaisceaux. La notion de semidistributeur régulier permet d...
متن کاملRepresenting operational semantics with enriched Lawvere theories
Many term calculi, like λ-calculus or π-calculus, involve binders for names, and the mathematics of bound variable names is subtle. Schönfinkel introduced the SKI combinator calculus in 1924 to clarify the role of quantified variables in intuitionistic logic by eliminating them. Yoshida demonstrated how to eliminate the bound names coming from the input prefix in the asynchronous π-calculus, bu...
متن کاملClassical Predicative Logic-Enriched Type Theories
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT ∗ 0, which we claim correspond closely to the classical predicative systems of second order arithmetic ACA0 and ACA. We justify this claim by translating each second-order system into the corresponding LTT, and proving that these...
متن کاملFreyd categories are Enriched Lawvere Theories
Lawvere theories provide a categorical formulation of the algebraic theories from universal algebra. Freyd categories are categorical models of first-order effectful programming languages. The notion of sound limit doctrine has been used to classify accessible categories. We provide a definition of Lawvere theory that is enriched in a closed category that is locally presentable with respect to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2020
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2019.106268